1. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
C65
1990
2. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: (کرمان)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
3. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987